(if6cpe 
 (if3cpe 
  (if0cpe 
   (s1 (s6 (s2 (if1cpe (if8cpe dn)) dn (if1cpe dn)) 
           (if2cpe 
            (if1cpe 
             (s3 (if2cpe 
                  (s4 dn 
                      dn 
                      (s3 dn (if4cpe (if8cpe dn)) (if8cpe dn)))) 
                 (if1cpe dn) 
                 dn))) 
           (if1cpe (s5 dn dn (if4cpe dn)))) 
       (s5 (s8 (if8cpe dn) 
               dn 
               (s6 dn 
                   dn 
                   (s6 
                    (s3 dn dn dn) 
                    (if4cpe dn) 
                    (s3 
                     (s3
                      (if3cpe (if3cpe (if0cpe (s1 (s6 (s0 dn dn (s6 dn (s4 dn dn (if2cpe (s3 dn (s3 (if0cpe (s6 (s0 dn dn dn) (if1cpe dn) (if4cpe dn))) (s6 (s4 (s4 (if0cpe dn) dn (s5 (s3 (if2cpe (if1cpe dn)) dn (s5 (s6 (s1 (s2 dn dn (s1 (if6cpe (s3 (if2cpe dn) (if1cpe dn) dn)) (s5 (s3 (s8 (if8cpe dn) dn (if1cpe dn)) (if1cpe dn) dn) (if0cpe (s8 dn dn dn)) (if4cpe dn)) (if8cpe (s3 (s3 dn dn (s2 dn dn (s6 (s4 (if8cpe dn) (s3 dn dn dn) dn) (if1cpe dn) (if3cpe (if8cpe (s8 (if8cpe dn) dn (if1cpe dn))))))) (s7 dn (s2 dn (s0 dn dn dn) (s6 dn dn dn)) dn) (if1cpe dn))))) dn (s3 (s0 dn (s7 dn (s2 dn dn (s6 dn dn dn)) dn) (s0 dn dn dn)) (if1cpe dn) dn)) dn dn) (if0cpe dn) (if4cpe dn))) (if0cpe (s5 (s3 (if2cpe (s3 dn dn (s2 dn dn (s6 (s4 (if8cpe dn) (s3 dn (s1 (if6cpe (s0 dn dn dn)) (s5 (s3 (if2cpe dn) (if1cpe (s8 (if8cpe dn) dn (if1cpe dn))) dn) (if0cpe (s3 (s3 (s8 dn dn dn) dn dn) (s5 dn dn dn) (s4 dn dn dn))) (if4cpe dn)) (if8cpe (s3 (if0cpe (if4cpe dn)) (s7 dn (s2 dn dn (s6 dn dn (if8cpe (s8 (if8cpe dn) dn dn)))) dn) (s5 dn (if1cpe dn) (s3 (if0cpe dn) dn dn))))) dn) dn) (if1cpe dn) (if3cpe (if8cpe (s0 dn dn dn))))))) (if1cpe dn) dn) (if0cpe (if4cpe dn)) (if4cpe dn))) (if4cpe (if0cpe (s7 dn (if8cpe dn) (s0 dn dn dn)))))) (if3cpe dn) dn) (if1cpe dn) (if4cpe dn)) dn) (if1cpe dn)))) (s0 (s3 dn dn dn) dn dn))) (if1cpe dn) (if4cpe dn)) dn dn)))) (s8 (if8cpe dn) dn dn) (s6 (s0 (s5 (s3 (if2cpe dn) (s5 dn (s1 (s2 dn dn (if1cpe dn)) dn (s1 (s1 (if1cpe dn) (s5 (s3 (if2cpe dn) (if1cpe dn) dn) (if0cpe (s8 dn dn dn)) (if4cpe (s0 dn dn dn))) (if1cpe (s5 dn (s8 (if8cpe dn) (s0 dn dn dn) (s3 dn dn dn)) dn))) dn dn)) (if4cpe dn)) dn) (if1cpe dn) dn) (s0 dn dn dn) dn) (if1cpe dn) (s5 (s3 (if2cpe (s6 (s0 dn dn dn) (s0 (if3cpe (if8cpe (s3 dn (s1 dn dn dn) dn))) dn dn) (if4cpe dn))) dn (s5 (s0 dn dn dn) (if0cpe dn) (s1 (if6cpe (s0 dn dn dn)) (s5 (s3 (if2cpe dn) (if1cpe dn) dn) (if0cpe (s3 (s3 dn (s5 (s5 (s3 dn dn (s5 dn (s5 (s3 (s6 (s5 (s3 (s0 dn dn dn) (if1cpe dn) dn) (if0cpe dn) (if4cpe (s4 (if8cpe dn) (if3cpe dn) dn))) dn dn) (s6 dn dn (if3cpe (if0cpe (s1 (s6 (s0 dn dn dn) (if1cpe dn) (if4cpe dn)) (s6 (s1 (s1 dn dn dn) dn dn) dn dn) dn)))) (s0 dn dn dn)) (if0cpe (s0 (s3 dn dn dn) dn dn)) (if4cpe (if7cpe (s1 dn dn dn)))) dn)) (if0cpe dn) (if4cpe dn)) (if0cpe dn) (if4cpe dn)) (s5 (s3 dn dn dn) (s6 (s2 dn dn (s6 dn (s1 (s6 (s0 dn dn dn) (if1cpe (if2cpe dn)) (if4cpe (s3 dn dn (if8cpe (s0 dn dn dn))))) dn dn) (s3 dn dn dn))) dn (s2 dn dn (s6 dn dn dn))) dn)) (s5 dn (s3 (if2cpe dn) (if1cpe dn) dn) dn) (s4 dn dn (s3 dn (if4cpe (if8cpe dn)) (if8cpe dn))))) (if4cpe dn)) (if8cpe (s3 (if0cpe (if4cpe dn)) (s7 (s5 dn dn dn) (s2 dn dn (s6 dn dn (if8cpe (s8 (if8cpe (s5 (s6 (s3 dn dn dn) (if4cpe dn) (s3 (s6 dn dn dn) (if1cpe dn) dn)) (s3 (if0cpe (s6 (s0 (s3 dn (s1 dn dn dn) dn) dn dn) (if1cpe dn) (if4cpe dn))) dn dn) (if4cpe dn))) dn dn)))) dn) (s5 dn (if1cpe dn) (s3 (if0cpe dn) dn (s6 dn dn dn)))))))) (if0cpe (s5 (s3 (if2cpe (if1cpe dn)) (if1cpe dn) dn) (if0cpe (s6 (s0 dn dn dn) (s5 (s3 (if2cpe (if1cpe dn)) (if4cpe dn) dn) (if0cpe (s8 dn dn dn)) (if4cpe dn)) dn)) (if4cpe dn))) (if4cpe (if0cpe dn))))) (s3 (s8 (s1 (if4cpe (if0cpe dn)) (s5 (s3 dn (s3 (if2cpe dn) (s5 (s3 (if2cpe (s6 (s1 (s1 dn dn dn) dn dn) dn dn)) (if1cpe (s5 dn (s8 (if8cpe dn) (s0 dn dn dn) (s3 dn dn dn)) dn)) dn) (if0cpe (s8 dn dn dn)) (if4cpe dn)) dn) (s3 (s1 dn dn (s6 dn dn (s5 (s3 (if0cpe dn) dn dn) (if4cpe (if8cpe dn)) (if4cpe dn)))) dn (if8cpe (if0cpe dn)))) (s4 (if8cpe dn) (s3 dn dn dn) dn) (if4cpe (s4 (s0 (if3cpe (if8cpe (s3 dn (s1 dn dn dn) dn))) dn dn) dn (s5 (s3 (s3 (s1 (if6cpe (if3cpe (if8cpe (s3 dn (s1 dn dn dn) (s6 (s2 dn dn (s6 dn (s3 (if0cpe dn) dn dn) (s3 dn dn (s0 dn dn dn)))) dn dn))))) (s5 (s3 (if0cpe dn) dn dn) (if0cpe (s6 dn dn dn)) (if4cpe dn)) (if4cpe dn)) (s6 (s0 dn (s1 dn dn (s6 dn dn (if3cpe (if0cpe (s1 (s0 (s3 (s2 dn dn (s6 dn dn dn)) dn dn) dn dn) dn dn))))) dn) dn dn) (s5 dn (if1cpe dn) dn)) dn (s5 (s6 (s1 (s1 dn (s1 (s6 (s0 (s6 (s1 dn (s4 dn dn (if2cpe dn)) dn) dn dn) dn dn) (if1cpe dn) (s3 dn dn (s5 dn (if1cpe dn) dn))) dn dn) dn) dn (if2cpe dn)) dn dn) (s5 dn (s6 (s2 dn dn (s6 dn (s1 (if6cpe (s3 (s0 dn dn dn) (if1cpe dn) (s3 (if2cpe dn) (if1cpe dn) dn))) (s5 (s6 (s1 (s1 (if6cpe (s0 dn dn dn)) (s5 (s3 (if2cpe dn) (if1cpe dn) dn) (if0cpe (s3 (s3 dn dn dn) (s5 dn dn dn) (s4 dn dn dn))) (if4cpe dn)) (if8cpe (s3 (if0cpe (if4cpe dn)) (s7 dn (s2 dn dn (s6 dn dn dn)) dn) (s5 dn (if1cpe dn) (s3 (if0cpe dn) dn dn))))) (s5 dn (if0cpe dn) dn) dn) (if4cpe dn) (s3 (s6 dn dn dn) (if1cpe dn) dn)) (s3 (if0cpe (s6 (s0 (s3 dn (s1 (s0 (s3 dn dn dn) dn dn) dn dn) dn) dn dn) (if1cpe dn) (s0 dn dn dn))) dn dn) (if4cpe dn)) (if8cpe (s3 (if0cpe (if4cpe dn)) (s7 dn (s2 dn dn (s6 dn dn dn)) dn) (if1cpe dn)))) (s3 dn (s5 dn (s6 (s0 dn dn dn) (s5 (s3 (if2cpe (if1cpe dn)) (if4cpe dn) dn) (if0cpe (s8 dn (s3 dn (s8 (if8cpe dn) dn (if1cpe dn)) (s2 dn dn (s6 (s4 (if8cpe dn) (if3cpe dn) (if1cpe (if6cpe (if3cpe (s3 dn (if1cpe (if4cpe dn)) dn))))) (if8cpe dn) (if0cpe (s8 (if8cpe dn) dn (if1cpe dn)))))) dn)) (if4cpe dn)) dn) dn) dn))) (s4 dn dn (if2cpe (s3 (s0 (if0cpe (s3 (s6 (s0 dn (s3 (if2cpe dn) dn (s5 (s5 (s3 dn dn (s5 dn (s6 dn dn dn) dn)) (s8 (if8cpe dn) dn (if1cpe dn)) (if4cpe (s1 (s2 dn dn (s6 dn dn dn)) (s4 (if8cpe dn) (if1cpe (s2 (s6 dn dn (if8cpe (s8 (if8cpe dn) dn dn))) dn dn)) dn) dn))) (if0cpe dn) (if4cpe dn))) dn) (if1cpe dn) (if4cpe (s1 dn dn dn))) (s3 (if2cpe dn) (if1cpe dn) dn) dn)) (if4cpe dn) dn) (s0 dn dn dn) (if1cpe dn)))) dn) dn) (if4cpe dn))) (if0cpe (s3 (if2cpe (s5 (s0 (s5 (s3 dn dn dn) dn (if4cpe dn)) (if1cpe dn) dn) (if0cpe dn) (s0 dn dn dn))) (if1cpe dn) dn)) (if4cpe (if0cpe (s6 (s4 (if8cpe dn) (s3 dn dn dn) dn) (if1cpe dn) (if3cpe (if8cpe (s8 (s1 (s1 dn dn dn) dn dn) dn (if1cpe dn))))))))))) (s0 dn dn dn)) dn dn) dn dn) dn)))) dn (if4cpe (s4 dn dn (if2cpe (s3 (if3cpe dn) (s8 (if8cpe dn) dn (s5 (s3 (if2cpe dn) (if1cpe dn) dn) (if0cpe (s8 (s6 dn dn dn) dn dn)) (if4cpe (s0 dn dn dn)))) (s0 (s3 dn (s1 dn dn dn) dn) dn dn)))))) (if4cpe dn)))))